#include <xdc/runtime/System.h>
#include "package/internal/Board.xdc.h"

/*
 *  ======== Board_startup ========
 */
Void Board_startup()
{
    Board_LedGreen_blink(2, 75);
}

/*
 *  ======== Board_shutdown ========
 */
Void Board_shutdown( Int stat )
{
    if (stat == -1) { // abort status
        Board_LedRed_on();
    } else {          // some other status
        Board_LedGreen_on();
    }
}

